New: pythagorastheorem