В клетках таблицы размером 10×20 расставлено 200 различных чисел. В каждой строчке отмечены три наибольших числа красным цветом, а в каждом столбце отмечены три наибольших числа синим цветом. Доказать, что не менее девяти чисел отмечены в таблице как красным, так и синим цветом.