Prove or disprove: If the principal points of a biconvex lens of thickness d1 overlap midway between the vertices, the lens is a sphere.