ゼミおk

 なんとか終わらせました\(^o^)/完備やりすぎ/(^o^)\四回も完備性の証明してもーた/(^o^)\しかも誰の予習にもないだろう方法とってやったぜ。いやあんまりかわらないんだけどさ。むしろ遠回りでだるいかもしれんが。ひねくれたことやるのダイスキッスだし。距離ダイスキッスだし。ノルム使わずに距離で議論しましたw
 しかし進み方遅いから少しクロックアップしないとな。