https://ncode.syosetu.com/n2360kj/3/
簡単な証明法でてる