@kururu_goedel: とりあえず、一次元の関数の補題は完成したから寝る。というか、すでに怒られそうな時間。2011-06-07 12:55:48 via web @kururu_goedel: 後者の方は今考えている証明の筋で出てくるのだけれども、今のところどう考えるべきかわからない。こ…