>>537, >>542
それって証明なのか？

> 9x1=9
> 9x2=18 -> 1+8=9
> 9x3=27 -> 2+7=9
> ...
> 9x9=81 -> 8+1=9
> のように9に1〜9までの数字を掛けた数の各桁の数字を足すと9になります

という命題をプログラムで表現しただけで証明にはなってないんではないの？