>>15 は遠アーベル幾何のワークショップだ。
IUT=遠アーベル幾何ではない