枯木逢春訓練新竹. 19-40b.

(a+b)* = (a*b*)* proof. ガーラ 森下.