Prove that for any prime positive integer p, √p is an irrational number