theorem :: XPRIMES2:6479

canceled;