(奇素数pであるp上の任意の非(supersingular)アーベル曲面のクンマー多様体が、これらの性質を持っている。