Beweis: (G)5
Beweis: benutzt Kempe-Ketten (1879).
Beweis: sehr umfangreich, Fallunterscheidung mit Computer-Unterstützung.