We already know this, at least in the case of points of finite order, which is all we need.

• 我们已经知道了这个结果，至少知道有限阶点的情形，而这正是我们需要的。