in fact we have the following result