theorem :: XPRIMES2:1328

canceled;