for a, b being Point of I[01] holds ].a,b.[ is Subset of I[01]