Estou confuso com Thm2, o instrutor disse e explicou que x é mais grosseiro que x', mas como x' está contido em x e considerando a definição da partição, sua explicação não deveria ser oposta enquanto ele está provando Thm2? então x contém x' e mais, eu acho####[['Thm2', 'Mathematical_Related_Concept', 'NEU']]