Теорема следствия из аксиом. Следствие из аксиом теорема 1. Доказательство 2 теоремы из аксиом. Следствие из аксиом 2 теоремы