y deducimos: