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