delete proof