theorem :: XPRIMES2:7065

canceled;