The product [low is concatenation, so as discussed in , Efl/l] is isomorphic to the monoid of nonnegative integers under addition.
確定! 回上一頁