Mackey's Irreducibility Criterion