Бойян— Гервинан теорема