Definition:Cotangent of Angle