自力で証明できそうだが難しいのかな?