전제가 결과를 포함함