G 9
Theorem 2. There are exactly three lines.
Theorem 3. A line cannot contain three distinct points.
Theorem 4. There exists a set of two lines containing all the points.
Theorem 5. There exists a set of two points such that each line lies on at
least one of these points.