失礼、>>48は、
"せっかく>>49のような楽しい例をご存知なのであれば、>>37もそのような例、つまり排中律を使用した 非 構成的証明を考えてみて下さい"
という意味です