theorem :: XPRIMES2:6400

canceled;