昨日は大学の建物の入り口が閉まっていた．一応鍵で開くし，荷物検査もしていたけど．何にせよもう冬休み．大学に行く必要もないかなぁと家にいる．昨日のはとりあえず正負を選んで作った拡大が正負によらないということみたいだけど，正負を固定せずに存在とか証明できるのかはよくわからない．