Dokazuje se spočetná universalita konečných sériově paralelních grafů (což je v protikladu s representovatelností již konecných grup).