Una condición suficiente de existencia de antiderivadas es que la imagen pertenezca a un espacio vectorial conveniente, también llamado formula_8-completo.