– bazıbir tastıyıqlawdıń durıs yamasa nadurıs ekenin anıqlawǵa múmkinshilik beretuǵın pikir júrgiziw. Teoremanı dálillewde biz túsiniklerge berilgen anıqlamalardan paydalanıp, aksiomalarǵa yamasa aldında dálillengen teoremaǵa súyenemiz.