Fredholmsche Lösungsmethode, Fredholmsche Sätze