隣のおじさん「群は3種類あるけど全員集合群は確定だよ」