theorem :: XPRIMES2:993

canceled;