このとき、"a" が縮小半群を生成するための必要十分条件は