Example. The formula $ p \vee  (\neg (p \wedge \neg p)) $ is a tautology as shown by its true table. The formula is a disjunction, we put $ \eta = (\neg (p \wedge \neg p) $ . We prove that this formula is a Theorem by using Lemma 4.3.