这两个定理是否矛盾?