Para evitar hacer la lectura demasiado densa, se han excluido de la demostración algunos corolarios intermedios que aparecen marcados como [AD].