この証明をしてくれ
https://ai.2ch.sc/test/read.cgi/math/1619788504/
last-modified: 2021-12-26 17:41:21