kempe theorem.