theorem :: INTEGRA8:51

for A being non empty closed_interval Subset of REAL
for n being Element of NAT st A = [.((2 * n) * PI),(((2 * n) + 1) * PI).] holds
integral ((- sin),A) = - 2