A Concise Introduction to Logic, Patrick J. Hurley, Wadsworth, 2006, 9th ed,. 8.7, II, 8, p. 447

1.     (x)(x = r) 2.     Hr • Kn ∴ Hn • Kr 3.     n = r 4.     Hr 5.     Hn 6.     Kn • Hr 7.     Kn 8.     Kr 9.     Hn • Kr

1 UI 2 Simp 3,4 Id 2 Com 6 Simp 3,7 Id 5,8 Conj