p: f'(x)=g'(x)

q: f(x)=g(x)+C(C는 임의의 상수)


양변 부정적분은 p이면 q이다. q 이면 p이다 이기 때문에 동치니까 저렇게 쓸 수 있고

q만 따로 보면 모든 실수 x에 대해 등식 성립안하는거고 정적분했을때는 q만 따로 봐도 등식 성립이다 이거임?