ジョン・ミルナーはr16をこれらふたつの格子で割って得られる16-次元トーラスは互いにだが等長でないコンパクトリーマン多様体の例を与えることを注意している。