这个看法仔细想想是有道理的。这两条不是完全平行的公理。