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