NP - P is not empty
  We present the MEoP problem that decides the existence of solutions to certain modular equations over prime numbers and show how this separates the complexity class NP from its subclass P 
Marius Constantin Ionescu