Sean $P$ y $Q$ dos puntos distintos en el plano. Denotemos por $m (PQ)$ la mediatriz del segmento $PQ$. Sea $S$ un subconjunto finito del plano, con más de un elemento, que satisface las siguientes propiedades:
- a) Si $P$ y $Q$ están en $S$, entonces $m (PQ)$ intersecta a $S$.
- b) Si $P_1Q_1, P_2Q_2, P_3Q_3$ son tres segmentos diferentes cuyos extremos son puntos de $S$, entonces no existe ningún punto de $S$ en la intersección de las tres líneas $m(P_1Q_1), m(P_2Q_2),m(P_3Q_3$).
Determine el número de puntos que puede tener $S$.