"This theorem is important in all of geometry, including solid geometry," Allen continues. "It is also foundational in other branches of mathematics, much of physics, geology, all of mechanical and aeronautical engineering. Carpenters use it and so do machinists. When you have angles, and you...