theorem :: XPRIMES2:1870

canceled;