changing Prove to Prove-Int in and-intro.