theorem :: XPRIMES1:5967

canceled;