theorem :: XPRIMES2:6501

canceled;