Kraft–McMillan theorem