与证明边之间长度关系的定理有哪些?