>>675

任意の aに対して 成り立つ