theorem :: XPRIMES1:1964

canceled;