Churov's theorem - pikabu.monster