theorem :: XPRIMES2:6067

6067 is prime