42.7 KL 발산의 비음수성 증명: 깁스 부등식(Gibbs' Inequality)