6714定理