suppose that e is an extension of the f body