theorem :: XPRIMES1:1958

canceled;