(b) formula_164 implica formula_165.