Soit \mathcal{A} le plan contenant le cercle \mathcal{C}. Comme \mathcal{A} contient aussi P', on en déduit que les images des points de \mathcal{C} sont dans \mathcal{A} et par définition ils sont aussi dans \mathcal{P}. L'intersection de deux plans étant une droite, on remarque que les images de \mathcal{C} se trouvent bien sur une droite, notée \mathcal{D}.

Soit M' un point de \mathcal{D}. La droite (P'M') coupe le cercle \mathcal{C} en un point M autre que P' puisqu'elle n'est pas tangente à \mathcal{C}. Ainsi, M' est l'image de M par la projection. Donc l'image de \mathcal{C} est la droite \mathcal{D} toute entière.