任意の桁の乗算は有限オートマトンによって実現不可能なことを証明したのですが、
全く手も足もでない状況です…。
帰納法？背理法？　とっかかりだけでも…　教えてください｡･ﾟ･(ﾉД`)･ﾟ･｡