Show that if M is a point set and there is a point p which is the first point to the right of M, then p is a limit point of M.

Definition: If M is a point set and p is a point, the statement that p is a limit point of the point set M means that every open interval containing p contains a point of M different from p.

Definition: P is the first point to the right of the point set M means that p is greater than every point of M and if q is a point less than p, then q is not greater than every point of M.

Axiom: If p and q are two distinct points then there is a point between them, for example, (p+q)/2.