Ello permite demostrar en proyectiva todo lo demostrable en euclídea sin tener que recurrir a una métrica.