Loops if {$x_{_T}>1$}:If {$x_{_T}>1$} then there are loops. Proof: For this proof we use the overhead view. As shown earlier, we have that {$x_{_T}=a_t+b_{_T}-c_{_T}$}. From this we see that there must be a loop on {$\langle a_{_T},b_{_T},c_{_T}\rangle$}.  |