proved kernelc sum_recursive