Proofs related to irrational numbers (K-A)

• Proof: square roots of prime numbers are irrational (K-A)
• Proof: there's an irrational number between any two rational numbers (K-A)