Angle Bisector Theorem
British Flag Theorem
Centers of Some 4 Circles Form a Parallelogram
Euclid's Formula
Ptolemy's Theorem
Regular Heptagon Identity
Two Tangent Circles Theorem