大家在查：存在性证明苏格拉底之死道德与修养古式绘图工具积分判别法一元一次不等式组三元一次方程半开半闭区间相似多边形

积乘

And so n dS is this cross-product times du dv up to sign .