Redirecting to Choi's theorem on completely positive maps