theorem :: XPRIMES1:4321

canceled;