Cualquier función continua sobre formula_7 admite localmente una antiderivada o primitiva.