Prove that if the principal points of a biconvex lens of thickness d₁ overlap midway between the vertices, the lens is a sphere.