>>397
大学一年だと開集合の公理まではやってないと思うけどね。ま、同じようなことか。