>>514-519
下は、交換法則、
上は、交換法則の他に結合法則も要る。