Es incorrecto si se asume que esta ley es la base de varias demostraciones inválidas, por ejemplo el demostrar que formula_54: