theorem :: XPRIMES2:7898

canceled;