Brudno Theorem