theorem :: XPRIMES2:1300

canceled;