[1718627440]

Every true statement boils down to resolving it to a tautology. In a mathematical proof you resolve definitions until only a tautology is left.

[pinnochio]

> Every true statement boils down to resolving it to a tautology.

Prove it.