MathNet 2026 — Part 05 Question 108

Suppose that $\cos(m^\circ) = \sqrt{2} - 1$. Prove that $m$ is not an integer.