ただしスピノルノルムは連結準同型である。