こいつ見てて思うんだけど代数・整数論はともかく集合・位相はやらないとだめだね、証明になっていない