Theorems:
<UL>
   <LI>
      $
         \forall r \in \mathcal{R}
         \exists  P \neq Q \in r
      $.
   </LI>
   <LI>Exists 4 points and 6 lines
   </LI>
   <LI>Same number of points, $k$,
      on each line.
   </LI>
</UL>