Deriving Kb from Ka