Докажите, что из последовательности из $mn+1$ различных действительных чисел всегда можно выделить возрастающую подпоследовательность из $n+1$ числа или убывающую подпоследовательность из $m+1$ числа.