(Mazurkiewicz 1982)