Talk:Midpoint theorem