theorem :: XPRIMES2:1061

canceled;