Theorem There does not exist a rational number r such that r2=2. Proof Drawing-2025-02-25-22.59.28.excalidraw