for x being Point of I[01] holds [x,1] in IBB