theorem :: XPRIMES2:9970

canceled;