如果X→Y和X→Z成立，那么X→YZ成立。