Sea π un plano proyectivo. Usa la definición 3.11(la definición de espacio proyectivo pero simplificada) para probar que:
P3'. Existe almenos tres líneas no concurrentes en π.
P4'. Exiten almenos tres líneas que pasan por cualquier punto en π.
Deduce que el principio de dualidad es válido en un plano proyectivo.