Ogg–Néron–Shafarevich criterion