Доказательство свойств системы