да, и ещё (вот чувствовал, что в формулировке что-то не в порядке, но никак не мог сообразить, что именно).
Утверждение верно не только для

, но и вообще для любого

, а доказывать его достаточно для самого слабого случая

.
(не исключено, конечно, что ув.
zoo намеренно сузил формулировку, чтоб придать ей оттенок олимпиадности)