theorem :: XPRIMES2:5065

canceled;