Recordemos que p formula_17 q significa ( p formula_14 q ) formula_1 ( q formula_14p )