Explain why the Java dynamic dispatch algorithm, which looks for the method to invoke for a call o.a(), will never get into

an infinite loop.