ысулы менән иҫбат итеү йыйылманың үлсәме йәки структураһы тураһында, йәки йыйылманы ниндәй ҙә булһа икенсе йыйылма менән сағыштырыу тураһында раҫлауҙарҙы иҫбатлау өсөн ҡулланыла, һәм өйрәнелгән  күмәклеге һәм билдәле үҙсәнлектәргә эйә булған  күмәклеге араһында үҙ-ара-бер ҡиммәтле ярашлыҡ төҙөүҙән тора. Икенсе төрлө әйткәндә, ниндәйҙер йыйылма тураһында раҫлауҙарҙы иҫбат итеү, был раҫлау дөрөҫ булған йыйылма менән биекция төҙөп иҫбатлауға ҡайтарып ҡалдырыла.