theorem :: XPRIMES0:1380

not 1380 is prime