of an equilateral triangle but not on its circumcircle, then there exists a triangle with sides of lengths , , and . That is, , , and satisfy the triangle inequality that the sum of any two of them is greater than the third. If is on the circumcircle then the sum of the two smaller ones equals the longest and the triangle has degenerated into a line, this case is known as Van Schooten's theorem.