Definition:Reduction Formula