ｐ＝ｘ^2＋５ｙ^2の場合は微妙だが，決定的な違いがある．

　　６＝２・３＝（１＋√−５）（１−√−５）

が成り立つが，２，３，（１＋√−５），（１−√−５）は単数でないＺ（√−５）の元の積で表すことはできないのである．

　たとえば，２＝αβで，α，βが単数でなければ，４＝Ｎ（２）＝Ｎ（α）Ｎ（β）から，Ｎ（α）＝Ｎ（β）＝２でなければならないが，

　　Ｎ（ａ＋ｂ√−５）＝ａ^2＋５ｂ^2＝２

となるａ，ｂは存在しない．３，（１＋√−５），（１−√−５）についても同様である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　八元整数は成分がすべて整数の数だけでは不十分で，適当に半整数（整数＋１／２）も含める必要があります．

　ここで，八元整数の体系内で，除法

　　α＝β・γ＋δ，｜δ｜＜｜β｜

は可能かという問題があるのですが，ケイリー（その後何人か）が代数的に証明しようとして失敗したという逸話が伝わっています．

　それは可能なことをはじめて証明したのがコクセターです．その証明は幾何学的で，８次元空間内で正単体と正軸体をうまく組み合わせると空間充填可能になります．コクセターは八元整数全体をうまく結ぶと自然にその充填形ができることを証明し，β^-1αに最も近い八元整数γが１未満にあることを幾何学的に証明したことになります．

　なぜなら，辺の長さが１の正単体，正軸体で頂点から最も近いのはその中心で，そこまでの距離名それぞれ

　　２／３＜１，１／√２＜１

となるからです．

　代数的に証明しようとして失敗した難問が，図形的に考えれば，ほとんど自明な事実となってしまったというわけです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝