Si lo fuera, lo sería, por la proposición anterior, también en formula_15, donde se tendría que