Exercise 3. Prove that all the inclusions are strict: KC K4 C S4C S5. In practical terms it suffices to show that a) KHOp p; b) K4 Opp; c) S4 Op(0p).