theorem :: XPRIMES2:870

canceled;