>>246
群の従順性ってやつやな
球だと成り立つけど円周や直線やと可換群は従順やからこうはならん