>>514
小数の掛け算の筆算の対称性が結果なのか？ なにが言いたいのかよくわからん。
それとも、対象であることを確かめた結果をつかって証明とすることを許さないということなの？