An object AB of dimension θ o infinity has an image FB' in the image focal plane of which the dimension is :
As for nθ = n'θ ' we also have : y' = f ' θ ' = n f ' θ / n'