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