prove cheats in exh_disjoint1