theorem :: XPRIMES1:1962

canceled;