Chat-GPTに問い合わせてみたら、適確な証明を教えて呉れるかもしれないぞ。