桑名定理