write a proof for the biconditional using the conditional to converse
A triangle is equilateral if and only if all sode lengths of the triangle are equal