Barthel, Hirzebruch & Höfer (1987) gave a method for finding examples, which in particular produced a surface X with c2 1 = 3c2 = 3254.
Barthel, Hirzebruch & Höfer (1987) は、例を発見する方法を与え、特に、c2 1 = 3c2 = 3254 である曲面 X を与えた。