>>809
類体論だけでも充分偉大な成果だと思うが。