mackeys theorem