prove a cheat in bigSmallEquivScript.sml

managed to get the induction for small_eval_opapp_err right