I think it might be easier to present the failure diagrams first. There are two main failure diagrams.
If , then destroys the eye. Capturing at only allows to kill by a throw-in that leads to a false eye.
With the above failure diagram, it is now easy to explain this failure diagram. here is greedy, and is the correct way to kill. It transposes back to the previous failure diagram.
Note that must not be played at a, which I leave as an easy reading exercise.
Descending at is the correct solution. If tries to remove the eye, then and captures three stones and makes the eye.
The main line is this diagram. connects and allow to live, and both parties are happy. This should be what is played in real games.