set G = the void Graph;
the void Graph is well-founded ;
hence ex b₁ being Graph st b₁ is well-founded ; :: thesis: verum