加法定理まわりでいうなら
和積積和導けるのは当然
和積積和暗記はすべき派しなくていい派で割れるが
すべき派が優勢になりつつある感じ