theorem :: XPRIMES2:918

canceled;