Asumidos ciertos estos axiomas podemos comenzar con nuestra demostración.