Sejam , onde e . Então vale: