theorem :: XPRIMES2:1284

canceled;