Holevo bound

  1. redirect Holevo's theorem