A partition theorem for [0,1] - Prömel, Hans Jürgen 1953- (1986)