Lenses: the lens maker's formula and the thin lens formula