（１）点数計算は
　［？］＋［－2点］＝［－３点］
　たし算の式から［？］を求めるのがひき算で、［？］は［－３点］－［－2点］で計算できるよ
　これの抽象化が「加法←→減法」の形式性、
（２）　　　□＋△＝●　⇔　●－□＝△
を使った説明。