Định lý cấp bậc không gian