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