consider v being Vertex of G such that
A3: v .outDegree() = G .minOutDegree() and
for w being Vertex of G holds v .outDegree() c= w .outDegree() by Th38;
thus G .minOutDegree() is natural by A3; :: thesis: verum