2 ms·Automated deducted proof of the square root of a prime number is irrational2 points by hexhex 10y ago