Основные следствия из аксиоматики Гильберта. Длина отрезка.