theorem :: XPRIMES2:8700

canceled;