6.1262

Proof in logic is only a mechanical expedient to facilitate the recognition of tautology, where it is complicated.