Searching for links to RootTwoIsIrrational:
ContinuedFraction
Pythagoras
RationalNumber