theorem :: XPRIMES2:6298

canceled;