永田が不変式の問題を解いたのはアーベル群だったから、
ある意味でインチキだ。