Vilken filosof/matematiker uppställde denna sats: kvadraten på hypotenusan = summan av kvadraten på kateterna i en rätvinklig triangel?