Kempe theorem