Kuzalisha toleo ngumu zaidi ya sentensi hii M.Stroppel 1995'' Compact Projective Planes ', W. de Gruyter 87.7.
Bila shaka, toleo ngumu zaidi ya hukumu ni "M.Stroppel 1995 '' Compact Projective Ndege ',' W. de Gruyter Sura ya 8 na hivi karibuni katika H. Salzmann 2014'' Compact ndege, zaidi ya 8 -dimensional. "