数学辞典第4版の1706ページのIXの表を見るとCP3がR8にはめ込めるかどうかが分かっていないことになっているが、これははめ込めないことが示されているようである。「(∗): CP3がR8にはめ込めないこと」がどこで初めて示されたのかよく分からないが、重要そう…