線分ABと線分CDの距離は、

min( dist(A, CD), dist(B, CD), dist(C, AB), dist(D, AB) )

になることの証明が分かりません。

どうやって証明するのでしょうか？