The uniqueness theorem for entanglement measures