Логика предикатов матлогика маленькая часть задания

Часть курсовой работы : формула логики предикатов, соответствующая утверждению теоремы и приведение ее к предваренной нормальной форме.
Теорема : " Для любого натурального числа n найдется простое число p?. большее заданного.
Полагаю, если ввести предикаты N(x) : "x-натуральное число" , P(x) - " x - простое число", B(x,y) : "x>y" , то выглядеть должно как-то вроде ∀n (N(n) ∃p ( P(p) ∧ B( n,p ) ) . Поправьте, пожалуйста, если неправ, и покажите, как привести к ПНФ.