実数倍の保存
実数倍を先にして良い
両側分配則

あとは必要に応じて
可除系
ノルムの積は積のノルム
累乗は交代系
交代系
結合則
可換則
辺りから適当に選択