Kalkyl, jakso 7: Pythagoraan lause