If {$x_{_T}=0$} and {$z_{_T}>1$} then there are loops.
Proof:
This follows from Magnified Boxes Have Loops, since {$z_{_T}$} will be a common factor of {$a$}, {$b$}, and {$c$}.