https://mathlog.info/articles/PS2oP2hl7NC0tks6Zndo
間違いではなかったので同じ証明を公開しました。