redducibus