Rectangle

Conjecture 7 Quadrilateral EFGH is a rectangle.	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.