theorem :: XPRIMES2:991

canceled;