Prove the green shape is a parallelogram (i.e., the red Simson line is parallel to the other red line).