На учительском столе лежат 20 ручек трёх цветов: синего, чёрного и красного (есть хотя бы по одной ручке каждого цвета). известно, что среди любых трёх ручек есть хотя бы одна красная. сколько на столе красных ручек?