theorem :: XPRIMES1:4667

canceled;