se o que contém uma verdade encerra essa verdade, o que encerra essa verdade não encerra a verdade que contém.