9.11.1. El paquete theorem