publicações selecionadas Um Teorema da massa positiva para métricas estáticas com constante cosmológica positiva