(4.53)