The first proofs illustrate very simply what the I (identificator), S (distributor), and K (cancellator) combinators do. Then the fourth proof shows that S K K has the same effect as I (compare it to the first proof). The last proof allows you to derive a result mentioned later (S I I I arg ⇒ arg).