整数演算における交換法則と結合法則の検証