midsegment theorem