Prove that √p is irrational for any prime p. The key step uses:
The triangle inequality
Unique prime factorization (FTA)
Fermat's Last Theorem
The AM-GM inequality