Принцип Дирихле для старших

Со старшими мы еще занялись принципом Дирихле. Это знаменитое утверждение о том, что если в N клетках сидят N+1 кроликов, то в какой-то клетке сидит не меньше двух кроликов.
Проблема оказалась в том, что дети совершенно не видят, что тут можно доказывать. Очевидно же — и все их доказательства сводились к формулировке задачи другими словами. И вообще похоже, что идея доказательств для них пока не очень понятна. А уж идея доказательства от противного тем более. Так что придется нам вернутся к логике и доказательствам вообще, и доказательству от противного — в частности.
Хотя задачки на принцип Дирихле мы все равно поразбирали, хоть и было нелегко — не в смысле понять задачки, а в смысле выстроить доказательство.