Circles and PiStep

Thales' Theorem

Proof using isosceles triangles

Combines all of Euclidean Geometry

TODO