Write a proof for the biconditional using the conditional and converse.
A triangle is equilateral if and only if all the side lengths of the triangle are equal.