Kochen-Specker theorem for eight-dimensional space