theorem Th23: :: SCMYCIEL:23
for G being SimpleGraph st Vertices G is finite holds
G is finite