theorem :: XPRIMES2:986

canceled;