Lehmus' Theorem
See
Steiner-Lehmus Theorem
© 1996-9
Eric W. Weisstein
1999-05-26