This question was asked in Theorem 5.1

Proove that every line segment has one and only one middle point

Prem Verma's image