Talk:Hall–Petresco identity