Update VectWithSum.idr