PERSON@1 's postulate -LRB- actually a theorem -RRB- states that if n > NUMBER@1 is an integer , then there always exists at least one prime number p with n NUMBER@2 there is always at least one prime p such that n NUMBER@3 -RSB- .

PERSON@1 's postulate states that if n > NUMBER@1 is an integer , then there always exists at least one prime number p with n NUMBER@3 -RSB- .
