Тогда и было доказано что