Доказательство 1 следствия из аксиом стереометрии. Доказательство 1 следствия из аксиом. Доказательство 2 следствия из аксиом стереометрии. Следствие из аксиом стереометрии (теорема 1.1, 1.3,1.2)