Antiderivative Existence Characterisation