Looks alright to me. I don't think all that algebra bashing in the middle was all that necessary; after using the assumption, I just subbed in k=2 and went from there (see my BIG EDIT above).
