"c" :[0,1] → "u" に対し、以下が成り立つ。