Automated deducted proof of the square root of a prime number is irrationalnevidal.org·2 pts·hexhex·0