då Å är lika med B , och CD med EF , så är ACD likamed