Problem #PRU-61014

Problem

Derive from the theorem in question 61013 that \(\sqrt{17}\) is an irrational number.