英语语法分析

The theorem that alternativity can replace associativity is true.

交替性可以代替关联性的定理是正确的。

We can apply Stewart's theorem directly to the median of a triangle.

我们可以把斯图尔特定理直接应用于三角形的中线上。

So, let's prove this theorem.

下面来证明这个定理。