R^2-unit_square is compact