Расшифровка содержится в самом посте: неопределенный интеграл определяется через первообразную, а не наоборот.