sqrt(prime) is irrational proof as an excuse for latex training

Proving that the square root of a prime number is a basic discrete math exercise, here is my proof (using my first latex document ever).
Final pdf:
http://jadnohra.net/release/sqrt_prime_irrational.pdf
Source tex file:
http://jadnohra.net/release/sqrt_prime_irrational.tex

.