9.1 斯密悖论与斯密-杨格定理