Lecture 10 - Eliashberg theory