theorem :: XPRIMES2:8970

canceled;