でも、まだ「位数15の群が巡回群に限る」ことは全く示されてないようなんだが