Sejam e . Para cada , definimos e . Então é