theorem :: XPRIMES1:421

421 is prime