Midsegment Theorem