Text this: The Pythagorean proposition ;