Tangent from an external point are equal in length