theorem :: XPRIMES2:9700

canceled;