A Theorem About Right Triangles的用法和样例：
- Discover a theorem about the Simson line and five points of a circle.
- Discover a theorem about the Simson line and four points of a circle.
- A theorem about the reducible dimension of large scale system models is presented. According to this theory We have developed a new algorithm to simplify large scale linear systems.
- Let us restate the assertions above as a theorem.