theorem :: XPRIMES1:1965

canceled;