Français : Considérons l'image d'une source ponctuelle donnée par l'objectif. Cette image est l'objet des lentilles télémétriques.

Les capteurs CCD peuvent détecter une différence de phase mais aussi la largeur des faisceaux.

L'objet est formé après le capteur principal et donne une image après les capteurs CCD. Si on cherche une source ponctuelle avec la même largeur de faisceau et la même différence de phase, cela nous donne deux sources ponctuelles ce qui est absurde. L'injectivité de la fonction donnant la différence de phase est donc assurée.