＞＞255
この論理展開では証明になっていないね。
「ラデンは頭が悪い。
　このことは自明である。
　証明終わり。」
で証明問題では満点を取れるのに、余計なものをつけ加えるから
証明としては破綻しておる。ラデンの頭脳以上に支離滅裂じゃい。