Area Relationship 1

Conjecture 8

The area rectangle EFGH is four times the area of the kite ACBD.
Please enable Java for an interactive construction (with Cinderella).
Drag free elements (free points (A and B), semi free points (C and D), or even the edge of either circle) to check correctness of the conjecture.