Las demostraciones aparecen en el Apéndice