Back then, even proving √2̅ is irrational could get you killed. It’s an elegant proof but Pythagoras was just too infatuated with rational numbers.