G.GCO.9c: The segment joining midpoints of two sides of a triangle is parallel to the third side and half the length.