# deducir