Compactness is product-closed