Y, por el axioma 5 tenemos que formula_132