જેમ જેમ મોરો અને વેસ્ટન એ કાર્યપુસ્તક માટે દલીલો (2015) માં નિર્દેશ કરે છે, રીડક્ટીઓ એડ અસ્વાદમ દ્વારા વિકસિત દલીલોનો વારંવાર ગાણિતિક પ્રમેયોને સાબિત કરવા માટે ઉપયોગ થાય છે.