proving stuff about Γsize and removing items