theorem :: XPRIMES1:1956

canceled;