Midsegment and proof