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