https://1library.org/document/q2n43req-ideias-algebricas-explicitadas-estudantes-espacos-formais-cursinho-ribeirao.html