If
AM
MB (AM = MB)
then
M is the midpoint of AB
=
~
A
M
B