A no-hair theorem for black holes in f(R) gravity. (27th December 2017)