Let m be the total length of dislocations per unit area of a grain boundary. Assume that at yield, all the dislocations in the grain interiors (?) are the ones emitted by the boundaries. Assume also that the grains are spherical (with diameterD). Derive the Hall--Petch relation (s=s0+kD-1/2) for this case, and give the expression fork.