Stav dette: An Extension of Muchnik's Theorem