Proving a graph well founded using resolution door M.A. Bezem