The yellow shapes are squares. The blue points are the midpoints of the green line segments. Prove the red triangle is right isosceles.