どんなa,b,cに対しても成り立たなきゃいけないんじゃないの?