37,38,39に反例があれば、計算法則に反します。