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