REDUCIBILITY OF MONOTONE FORMULAS TO $MU$-FORMULAS