If either {$b=a+c$} or {$a=b+c$} then the path on the {$a\times b\times c$} box ends at the gray corner.
Proof: