theorem :: XPRIMES2:1234

canceled;