>>543
なるほど、納得です。
確かに私はリア厨並だったようですね。

あと一つ疑問があります。
元々478の背理法の使い方に異を唱えたわけですが、
478では「プログラミングができると仮定する」のはおかしいのでは？