theorem :: XPRIMES1:964

canceled;