proved by ()