Redukce
([6])