prove a cheat in bigSmallEquivScript.sml