Сколько ни видел решений школьных олимпиадных задач, нигде подобных утверждений не доказывали. Везде писали "очевидно". Это другой уровень строгости, чужой для духа школьных олимпиад.
Согласен, но это не освобождает автора задачи (и нас с вами) от ответственности понимать решение (по возможности) со всей строгостью. В этом разделе приведенные
slavav рассуждения совсем не выглядят излишними.