incluida a prova do lema da monotonicidade