Definimos formula_4, llamado n-espacio afín sobre k, como "k".