theorem :: XPRIMES0:1061

canceled;