加法を仮定したら、乗法も作れる、としたら直線が存在しなくなり非可換になる事が示される。
宇宙は一般的でなければならないので一つでも非可換な演算があったら宇宙空間は非可換になる。