theorem :: XPRIMES0:387

not 387 is prime