Opšti pristup u matematici je sledeći: Kada rešavaš neki sistem uslova, obično iz njega izvlačiš razne zaključke (posledice) radeći sa proizvoljnim pretpostavljenim rešenjem dok ne dođeš do nekog oblika koji smatraš rešenim. Time dokazuješ formulu oblika

, gde je

polazni sistem uslova, a

sistem uslova u rešenom obliku. Time si siguran da si obuhvatio sva eventualna rešenja, ali su se možda provukla još neka tzv. nerešenja. Onda pođeš od tog rešenog oblika ne bili proverio da li zaista zadovoljava polazni sistem uslova. Ona rešenja koja zadovolje polazni sistem uslova su tačno sva njegova rešenja.
Pretpostavimo da dati sistem linearnih jednačina ima rešenje i izaberimo jedno od njih. Ono nam daje neku funkciju
(1)

.
Treba proveriti da li ta funkcija zadovoljava polaznu jednačinu.
Pre svega,

.
Otuda se zamenom ovako izabrane funkcije

u polaznoj jednačini dobija jednačina (1), pa pošto je jednačina (1) tačna na osnovu izbora funkcije

, zadovoljena je i polazna jednačina, pa ona stvarno ima rešenja.
Stoga rešavanjem ovog sistema linearnih jednačina zaista dobijaš tačno sva rešenja polazne integralne jednačine.
[Ovu poruku je menjao Nedeljko dana 26.12.2011. u 16:12 GMT+1]
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.