theorem :: XPRIMES2:8764

canceled;