Si formula_158, entonces, por definición (véase ¿?), existe formula_105 tal que formula_32, pero en tal caso formula_161, pues formula_155, de modo que formula_163.