Kadison's transitivity theorem