Well, looks like Pythagoras was common knowledge by that time.