Sheet 11 Exercise 3 Spoiler 4

m(M') < = m(M_f)