theorem :: XPRIMES1:367

367 is prime