La siguiente proposición sigue inmediatamente de la definición.