theorem Th23: :: SCMYCIEL:23

for G being SimpleGraph st Vertices G is finite holds
G is finite