theorem :: XPRIMES2:8740

canceled;