Za rješavanje složenijih integrala često koristimo dvije metode supstitucije. One se sastoje u tome da se zadani integral
Drugim riječima, možemo rješavati pomoću supstitucije , pri čemu je bijekcija:
Zbog bijektivnosti funkcije je i skup također diskretan te vrijedi
Dakle, za vrijedi
Neka je primitivna funkcija funkcije na intervalu , odnosno
pri čemu je diskretan podskup. Neka je skup definiran s . Tada je primitivna funkcija funkcije na intervalu , odnosno za svaki vrijedi
odnosno je primitivna funkcija funkcije na intervalu .
Integrale u primjeru 1.5 a), b) i c) smo formalno mogli riješiti i koristeći teorem 1.5, odnosno pomoću supstitucija
redom, koje su sve bijekcije na skupu .