ABCD AE=DE AFB=DFC