Matemático vê Botafogo e Bahia já livres da queda; Corinthians, Flu e Vasco ainda correm risco