add task-02 with proof