Below is a link to my Java Sketch. It can be used to explore the Base Angles Theorem.

Base Angles Theorem