The hairy ball theorem