theorem :: XPRIMES1:1963

canceled;