Suppose there exists a cycle $=<0,1,...,>,$ where $0=.$ We have $.=1$ for $=1,2,...,.$ Assume relaxation of $(1,)$ created the cycle. Then, cycle must be reachable from the source vertex $.$