theorem :: XPRIMES2:4970

canceled;