Choi%27s theorem on completely positive maps