Шулай уҡ алмаштырыу тура иҫбатлау ысулы тип иҫәпләнә: әгәр  раҫлауы уға ингән ирекле үҙгәреүсәндең бөтә ҡиммәттәре өсөн дә дөрөҫ булһа, бөтә урында ла уларҙың ниндәй ҙә булһа аҫкүмәклеге урынына ниндәйҙер конкрет ҡиммәтте ҡуйыу (формуланың айырым осрағы) дөрөҫ раҫлау бирә, натураль һығымта нотацияһында (формаль булмаған яҙыу, бер үҙгәреүсәнгә тиклем ябайлаштырылған):