Hjelmslev 定理

当一条线上所有点 通过 等距同构 与另一条线上所有点 相关时，线段 的 中点 要么是不同的且共线的，要么是重合的。