theorem :: XPRIMES2:1285

canceled;