Ну да, а разве доказательство каждого утверждения не должно быть строго формализовано?
Формально --- да. А неформально --- ну, очевидно же, чего время тратить. Впрочем, в учебных целях это вполне разумное упражнение.
Какой опечаток?
Я смотрел до того, как Вы их исправили.