Equilateral Triangle Proof - Search