C^nの既約なコンパクト化の分類は
多分未解決