Piotr Pragacz (IM PAN, Warszawa), Wzór Gysina dla wielomianów Halla-Littlewooda