Let , , and be the lengths of the tangents to a Circle from the vertices of a Triangle with sides
of lengths , , and . Then the condition that is tangent to the Circumcircle of the Triangle is that
The theorem was discovered by Casey prior to Purser's independent discovery.