theorem :: XPRIMES2:8870

canceled;