The red points are the midpoints of angle bisectors. Prove the sum of the green angles is $90^\circ$.