RE: Pythagorean themorem