Следствия аксиом стереометрии: теоремы и доказательства