>>104 は結果は知っていたがその証明を他に見たことがない。

どなたかご存知ですか?