Área central de la intersección en álgebra conmutativa (fundamento teórico de la geometría algebraica)