함수의 상수배, 합의 부정적분에 관한 성질 증명