theorem :: XPRIMES2:990

canceled;