theorem :: XPRIMES1:1955

canceled;