prove cheats in exp_pat_syneq_exp