(A4) y (A5) se obtienen de (A1), (M1) al escribir formula_18, dado cualquier elemento formula_19.