Kadison transitivity theorem