共边定理