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