A theorem is not a fact discovered. It is a structure built — brick by brick, inference by inference — until it stands on its own. What separates a theorem from a guess is not certainty but architecture.
Every logical day begins with something taken for granted. The axiom is the door. The theorem is the house you build behind it. And the proof is the invitation to walk through every room.
Assume the opposite.
Derive a contradiction.
Therefore, the original holds.