Mod. 12 Pythagorean Theorem