(a) formula_155 implica formula_156.