０から９までの相異なる整数を、それぞれ相異なる任意の整数以外の１文字に
置き換えた（例：０→Ａ、１→Ｂ、…、９→Ｊ）時、
加算式（例：Ａ＋Ｂ＝Ｂ（0+1=1）、Ｉ＋Ｊ＝ＢＨ（8+9=17)）のみから、
整数と文字の対応を推定する時、全ての関係を特定するのに
最低限必要な式の数はいくつか？