theorem :: XPRIMES2:2998

canceled;