Use of Dynamic Geometry Software for Proof Problems