原文:4835.不存在的条件意味着否定