Pero como formula_19 es un conjunto unitario, ha de ser entonces formula_22.