Since you also asked about alternate proofs of Theorem 1, there is a proof that does not use the localization theorem of a stronger version of the inequality (due to Floyd) in my notes [here][1].  See Theorem
B of those notes.


  [1]: https://www3.nd.edu/~andyp/notes/SmithTheory.pdf