IMO 1986 LL FRG30

Prove that a convex polyhedron all of whose faces are equilat-

IMO 1986 LL FRG30

Origin: FRG

Problem

Prove that a convex polyhedron all of whose faces are equilat- eral triangles has at most 30 edges.