如果元不是中国,那么商也不是中国。