prove another cheat in bigSmallEquivScript.sml

all the various successful do_apps