Terminada seção sobre disjunção e unicidade. Falta revisar o exemplo de unicidade