هم‌تعداد درختی

گراف $G$ همبند و مسطح است. ثابت کنید تعداد درخت‌های فراگیر $G$ با تعداد درخت‌های فراگیر $G^*$ (یعنی گراف $dual$ $G$) برابر است.