lueroths theorem