おっとこれかｗ

＞よって、「道具の使用」は、「乗法の定義」に「乗法の定義」を用いている、つまり、
＞「証明をしようとする事項を使って証明を行っている」ということだ。

何言っているんだｗ　普通の筆算だって同じ状況だろｗ