Does Viterbi Algorithm Not Use Bayes Theorem?

Sometimes after learning about Viterbi algorithm in the context of HMM, students ask - does Viterbi not use Bayes Theorem? Today we address this specific topic. (Hint: Viterbi does use the very very same reasoning, even if it appears that it does not use the Bayes Theorem literray.)