Kraft's_inequality