В стае 50 ворон при этом посреди всех 4-х из их найдется

   1. Количество различных пар в стае из 50 ворон одинаково числу сочетаний из 50 по 2:

      n2 = C(50, 2) = 50!/(2! * 48!) = (50 * 49)/(1 * 2) = 25 * 49 = 1225.

   2. Если бы посреди этих 1225 пар были бы две такие пары ворон A1 и A2, A3 и A4, в которых вороны не враждуют, то в группе этих четырех ворон не нашлась бы такая, которая враждует с тремя остальными. Означает, наше предположение ложно, и таких пар не больше одной.

   Следовательно, желая бы в 1224 парах вороны враждуют, что и требовалось обосновать.