theorem :: XPRIMES2:994

canceled;