prove another equality types related cheat