可換体論は難解なの?