theorem :: XPRIMES1:5667

canceled;