(7.52)