Problem posing and proof in a dynamic geometry environment