Demonstração do Teorema de Bézout usando o Princípio da Boa Ordenação
Demonstração do teorema de Bézout usando o PBO e a divisão euclidiana.
Prova de que isomorfismos de domínios preservam irredutibilidade
Prova de 3 propriedades importantes que os isomorfismos de domínios de integridade possuem.
Prova de que um conjunto é quociente se e só se é uma partição
Prova de que todo conjunto quociente é uma partição e que toda partição é um conjunto quociente.