Se puede simplificar por m·l (no nulos) y por θ' (no idénticamente nulo), lo que da: