New: pythagoreantheorem