>よって、card(AutQ(R))は非加算
1μmずつ進んでたのが一気に1kmすっとんだ感じ