prove another EqualityType cheat