Definition:Arbitrary Constant/Examples