Дополню. Вывод такой потому, что если бы жуков было уже 2, то условие при любых выбранных насекомых мы могли бы попасть на случай когда эти оба насекомых будут жуками, что противоречит условию: 2. среди любых двух насекомых по крайней мере одна муха.