The Egyptians and Babylonians must have understood the above theorems, but there is no known recorded proof before Thales. He used two of his earlier findings -- that the base angles of an isosceles triangle are equal, and the total sum of the angles in a triangle equals two right angles -- in order to prove theorem #5. According to Diogenes Laertius, when Thales discovered this theorem, he sacrificed an ox!