ピタゴラスの定理って #ドイツ語 で"Satz des Pythagoras"って言うのか。こういう"Satz"は知らなかった。