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