[a,b] x [a,b] is compact.