Cálculo numérico da gravidade na Terra
Cálculo númerico da aceleração da gravidade a partir da Lei da Gravitação Universal.
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.