theorem :: XPRIMES2:8896

canceled;