Почему в предложении «легко сказать, да нелегко доказать» стоит запятая

В предложении «легко сказать, да нелегко доказать» запятая ставится перед союзом «да», так как он здесь выполняет функцию противительного союза. В русском языке союз «да» может использоваться в значении «но» и употребляется для противопоставления. В данном случае первое высказывание («легко сказать») противопоставляется второму («нелегко доказать»), что и оправдывает наличие запятой.