Tangets to a circle have equal lengths