theorem :: XPRIMES2:6589

canceled;