https://stoplearn.com/deductive-proof-of-circle-geometry/