Talk:Theorem on formal functions