for a, b, c, d being Point of I[01] holds [:[.a,b.],[.c,d.]:] is compact Subset of [:I[01],I[01]:]