Omega

Bewijs mbv bisimulatie dat alle bladerloze grafen de verzameling $\Omega$weergeven (als kleuring hebben).