La proposición formula_20 es la recíproca de formula_13, mientras que la proposición formula_22 es la contrarrecíproca de formula_13.