Por la forma de la matriz, formula_129 nunca puede ser la identidad, por lo que hay un punto formula_15 tal que formula_323.