chiark / gitweb /
Extend proof to non-connected graphs; cosmetic improvements