Это было жизненно необходимо для доказательства первого правила