prove cheats in distinct_fun_fun