theorem :: XPRIMES2:1200

canceled;