Hjelmslev 定理

當一條線上所有點 透過 等距同構 與另一條線上所有點 相關時，線段 的 中點 要麼是不同的且共線的，要麼是重合的。