Proof that square root of prime number is irrational