theorem :: XPRIMES2:2999

canceled;