(4.80)