Определения , формулы и их доказательство

Требуемые условия завершения