theorem :: INTEGRA8:71

for A being non empty closed_interval Subset of REAL st A = [.0,PI.] holds
integral ((sin + cos),A) = 2