Proposition: Kardinalität der Knotenmengen muss übereinstimmen

Damit und isomorph sein können, muss gelten, dass