Anti-derivative and Constant