ちなみに
始点終点両方とも原点であるwが囲む面積が0ならw∈w(e)も言えるはず
ここで
始点終点両方とも原点とは
W→R2→Z^2
という半群の準同形で考えると
wを構成するa,cの個数が同数かつb,dの個数が同数
で判定できる