It also uses standard constructions of modern algebraic geometry, such as the category of schemes and Iwasawa theory, and other 20th-century techniques not available to Fermat.
Tamén emprega construcións típicas da xeometría alxébrica moderna como a categoría dos esquemas e a teoría de Iwasawa, así como outras técnicas do século XX non dispoñibles para Fermat.