80年代後半、フォンテーヌとウーヴェ・ヤンセンは "x" がを持つ場合の比較同型について予想を立てた。