suppose l k is an extension of bodies