Os comprimentos dos lados de um hexágono convexo ABCDEF satisfazem AB=BC, CD=DE, EF=FA. Prove que: BEBC+DADE+FCFA≥23.