Among the players who became coaches, how many of them have gotten in the Hall of Fame?
players who became coaches refers to playerID IS NOT NULL AND coachID IS NOT NULL
SELECT COUNT(T1.playerID) FROM Master AS T1 INNER JOIN HOF AS T2 ON T1.hofID = T2.hofID WHERE T1.playerID IS NOT NULL AND T1.coachID IS NOT NULL