theorem :: XPRIMES2:989

canceled;