theorem Th26: :: SCMYCIEL:26

for G being finite SimpleGraph holds order G <= card G