a ∧ b = 1 ⇒ a ∧ (b c) = a ∧ c