2017/03/12 (日) 00:12:56
◆
▼
◇
[misao]
PかつPならばPであるというのを証明したりする勉強を始めた