theorem Th30: :: GLPACY00:22

for P being _finite non _trivial Path-like _Graph holds P .minDegree() = 1