theorem :: XPRIMES2:7970

canceled;