ecuasione con comprobasion