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