theorem :: XPRIMES1:5964

canceled;