a lens is used for magnification