Dengan \(y\in U_x\text{,}\) buktikan bahwa fungsi langkah pada tiga panduan sebelumnya merupakan lintasan dari \(y\) ke \(x\text{.}\)