theorem :: XPRIMES1:1976

canceled;