「簡単」の定義が必要ってこった。
ab は a×b より簡単 と定義するのは自由だが、
それを根拠に ab は a×b より簡単と結論
したとすれば、それは論証ではなく、
「俺が簡単っつったら、簡単なんだってばよぅ。」
と言っているに過ぎない。