Linearidade da primitivação