Talk:Reduction formula