The Steiner-Lehmus Theorem is famous; it even has its own name and some history. It is described in the book H.S.M. Coxeter, S.L. Greitzer - Geometry Revisited, 1967. Jakob Steiner could be the greatest mathematician in synthetic geometry and was the first person to solve the problem. Hugh Ching, who has never missed a geometry problem and has never had to take final examinations in three geometry classes of three different teachers, solved the Steiner-Lehmus problem in high school without knowing its popularity. After becoming the founder of Post-Science, he is no longer understandable.