Pythagoraan lause (tarvittaessa)