Ok, giusto puoi andare aetwaf , in alternativa (ma forse è uguale) :
Primo giorno:
In un gruppo di [tex]3[/tex] persone sedute vicine c'è almeno un cavaliere (andrebbe dimostrato, ma è banale) , quindi [tex]k>= \dfrac{2003}{3}[/tex] visto che va arrotondato ad un intero ho [tex]k>= 668[/tex].
Secondo giorno: ( [tex]k'[/tex] il numero di cavalieri)
In un gruppo di [tex]3[/tex] persone sedute vicine c'è al più un cavaliere (andrebbe dimostrato, ma è banale) , quindi [tex]k' <= \dfrac{2002}{3}[/tex] visto che va arrotondato ad un intero ho [tex]k'<= 667[/tex].
Ne segue che era un cavaliere.