>>708
それなら
「D_1 * D_2 f
D_2 * D_1 f
がどちらも連続なら同一の関数となる」

については考えてみた？