全ての線分の長さは発散するという定理が得られます