Talk:Proizvolov's identity