A proposition from algebra – how would Pythagoras phrase it?