and hence, using (7) we have