Weierstrassの予備定理なんて使ったっけ?