Nakai–Moishezon criterion