ie.
They superimposed the theoretical construct over the observed construct and found that they matched.
Occams Razor.
QED.
(Several observed lensed galaxies...which look alike even to the naked eye...can be said to agree with the theoretical construct of gravitational lensing. Occams razor & QED No2.)
Peter.