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