I have to write a proof using these three axiomsAxiom P1. F

I have to write a proof using these three axioms:Axiom P1. For any two distinct points, there is exactly one line that contains bothpoints.Axiom P2. The intersection of any two distinct lines is at least one point.Axiom P3. There exist at least four different points ofwhich no three are on the same line.The proof is proving that this finite geometry ( with the lease number of points) can be derived from these three axioms in the Fano Geometry. P1 and P2 I understand, but I’m stuck on P3. How many points does this geometry have? and how can I draw a picture of it. I’m super stuck