Hacker News new | past | comments | ask | show | jobs | submit login

Euclid proved it in ancient Greece and you can look up his proof online. It's pretty succinct, though his proofs can sometimes be hard to follow as the Greeks had a different conception of number to the modern one.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact