AとBに関して一般化が早速なされていて、これは理解してない感満載なんだが。 ABの共通項を近似するDCに適用する、以前の中間ロジックが一般的かどうか妥当性を検討してないし。