I see that makes perfect sense. In this particular case because you end up doing multiplying by the compliment of the denominator to get rid of the root there, get a difference of squares that are both integers and easily end up with an integer on the denomiator of the fraction. leaving it all as trivially provable that you'll always end up with a rational number in the end (maybe not an integer).