theorem :: XPRIMES2:1065

canceled;