prove HW6