prove cheat for vsubst_thm