Dokaz stava o istinitosnoj funkcionalnosti u Agdi.