theorem :: XPRIMES2:9702

canceled;