Mantido pelo grupo "Topologia do Interior"
$\def\sen{\text{sen}}$
Note que essa igualdade vale já que $\sen(y) > 0$ no intervalo considerado.