Explique informalmente por que o Teorema decorre da Definição

Bom, o teorema é o que diz que:

E esse teorema fala que:

Ou seja, a gente pode retirar a constante multiplicativa nas integrais.

Lembra que a gente pode fazer isso no somatório? Colocar a constante multiplicando do lado de fora?! Então, se a integral é igual ao limite do somatório, a gente pode fazer isso também na integral!

E é por isso que um teorema recorre do outro😊