Deriving Trig Ex 2.4