Definition:Diameter of Circle