theorem :: XPRIMES1:1926

canceled;