Todo el trabajo anterior muestra la siguiente proposición.