Wang's finiteness theorem