Lo que hiciste es correcto, pero no sólo se te anula 
, sino que deberías llegar a una igualdad del tipo 
, claramente eso no puede ser.
, sino que deberías llegar a una igualdad del tipo , claramente eso no puede ser. Lo que se deduce de eso es que el sistema es incompatible: la solución es vacía.