Доказательство теоремы 2 следствия из аксиом. Доказательство 2 следствия из аксиом стереометрии. Следствие из первой группы аксиом