ラインバンドルの切断の空間は次元なので、次元の射影空間へのk3曲面からの射が存在する。