CatGloss
Exercise 5. Show that if $ a=(X