He should not keep a pokemon just for HM if is used to fight, for that he needs to separate the pokemons he use to fight and the ones he use for Hm tasks, the HM especialist. This is a good advice, don't mix the pokemon used for fights for Hm tasks too, the right thing to do is separate them. Have a nice day :)