When was the Pythagorean theorem introduced?