Let's check whether this rule holds for any eligible pair of functions {{MATH_128}} and {{MATH_129}} defined on some interval {{MATH_130}}. {{CMD_131}} Let {{MATH_132}}, {{MATH_133}}, {{MATH_134}} and {{MATH_135}} be four functions defined on some interval {{MATH_136}} such that {{MATH_137}} is an antiderivative of {{MATH_138}} and {{MATH_139}} is an antiderivative of {{MATH_140}}, i.e.