On vient de démontrer que les deux plans
(FGK) et
(FGP) sont orthogonaux à la droite
(IJ).
Mais ces deux plans contiennent le point
F.
Il n'existe qu'un plan contenant un point
F et orthogonal à une droite
(IJ) donnée, donc
F,
G,
K et
P sont coplanaires.