数学的に言えば、すべての記号をてんでばらばらに並べれば証明終了