令R是PID，F是R的field of quotients，V是F上的向量空间，V*是V的对偶空间，L是R上V内的lattice，M是L的R-子模。定义L*为V*内所有满足u(L)⊆R的元u的集合，同理M*为V*内所有满足v(M)⊆R的元v的集合，则L*和M*都是R-模。证明：L/M作为R-模同构于M*/L*。