Properties of KL divergence