Järelikult, vastavalt definitsioonile 7, funktsioonide algebra A ei saa nulliks mitte ükski hulga K punktidest. Seega kõik Stone-Weierstrassi teoreemi tingimused on täidetud ja kõikide närvivõrguga realiseeritavate funktsioonide hulga sulund B koosneb kõikidest võimalikest pidevatest funktsioonidest närvivõrgu sisendite hulgast K n ruumi . Kuna definitsiooni järgi iga sulundi B punkt sisaldab vähemalt üks hulga A punkt, siis isegi kui aproksimeeritav funktsioon y^ r (U ) ei kuulu hulka A, vaid kuulub ainult hulka B, leidub funktsioon yr (U ) hulgast A, mis lähendab funktsiooni y^ r (U ) mis tahes etteantud täpsusega : y r (U ) - y^ r (U ) < , r = 1, K , m , > 0 . (2.6) Järelikult, kahekihilise pertseptroniga saab aproksimeerida iga pideva, sisendite hulgal tõkestatud funktsiooni. Analoogiliselt see väide tõestatakse ka teiste peidetud kihi aktiveerimisfunktsioonide jaoks
Järelikult, vastavalt definitsioonile 7, funktsioonide algebra A ei saa nulliks mitte ükski hulga K punktidest. Seega kõik Stone-Weierstrassi teoreemi tingimused on täidetud ja kõikide närvivõrguga realiseeritavate funktsioonide hulga sulund B koosneb kõikidest võimalikest pidevatest funktsioonidest närvivõrgu sisendite hulgast K n ruumi . Kuna definitsiooni järgi iga sulundi B punkt sisaldab vähemalt üks hulga A punkt, siis isegi kui aproksimeeritav funktsioon y^ r (U ) ei kuulu hulka A, vaid kuulub ainult hulka B, leidub funktsioon yr (U ) hulgast A, mis lähendab funktsiooni y^ r (U ) mis tahes etteantud täpsusega : y r (U ) - y^ r (U ) < , r = 1, K , m , > 0 . (2.6) Järelikult, kahekihilise pertseptroniga saab aproksimeerida iga pideva, sisendite hulgal tõkestatud funktsiooni. Analoogiliselt see väide tõestatakse ka teiste peidetud kihi aktiveerimisfunktsioonide jaoks
33) s kus b on plaadi laius või sõõri läbimõõt ja plaadi geomeetrilisest kujust ja jäikusest olenev tegur. Tavaliselt kasutatava jäiga sõõrplaadi korral = 0,79. Plaadi vajumise kiiruse kaudu saab määrata ka pinnase konsolidatsioonimooduli. Telgsümmeetrilise ülesande korral on vajumise ajaline kulg piisava täpsusega aproksimeeritav seosega a s t st = a a (4.34)