I've been over primes lots of times. I've talked about decimal fractions, repeating decimals, and the possibility of there being numbers which are non-repeating. I know the proof for the square root of 2 being irrational. It's just tying it all together.