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. 本文提出了一个关于大系统模型可简化维数的定理,并按此理论发展了一种简化大型线性系统的新算法。
Our ideas about right and wrong are exemplified in the laws. 我们关于正确与错误的思想在法律中有典型说明。
Let us restate the assertions above as a theorem. 我们把上述的断言重新表述为一个定理。