조건부 확률의 성질과 검증 방법