theorem :: XPRIMES2:9707

canceled;