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