後だしジャンケンだが、
>>791の証明を思いつくのは、それほど難しくはないかもねw