20150828

二項演算の * の結合法則が成り立つならば, (∃z(b=z*a)∧∃y(c=y*b))⇒∃x(c=x*a)
結合法則が成り立たないならば, その命題が成り立たない時がある.