That result has a number

“√2 is irrational” is Theorem 1.3 in the textbook. The helper you used to prove it was Theorem 1.2. Worth knowing by name for the exam.