Рассуждения от противного

Предположим, что никакие двое мальчиков не сидят друг напротив друга. Тогда напротив каждого мальчика сидит девочка. Значит, девочек хотя бы столько же, сколько мальчиков, то есть . В сумме получается хотя бы ученика, но по условию их всего . Мы получили противоречие, таким образом, наше предположение неверно, и какие-то двое мальчиков все-таки сидят друг напротив друга.