[lern_too_spel]

It's the Pythagorean theorem, a special case of the law of cosines. What's new is the proof method.