在三维射影空间里，如果（A,B,C,D,E）和对应的(A',B',C',D',E')五个表示点或者面的几何元素中，至少一个表示点，至少一个表示面，如果A表示点（或面），则对应的A'也表示点（或面），……依次类推；而且在每个五几何元素组中，所有点中没有两点重合、没有三点共线、没有四点共面；所有的面中，没有两个面重合，没有三个面共线，没有四个面共点；没有任何点在任何其中一个面上；则证明：存在唯一的射影变换，把（A、B、C、D、E）依次变换为(A',B',C',D',E')