for x being Point of I[01] holds [0,x] in IAA