417 Is there necessarily a king? (2-in-1)