同時交換公理
本はありません。