审计依法核查的逻辑艺术