Entonces la demostración consiste en los siguientes pasos: