% References cited in https://agora.t9k.dev/t/294/the-kirchberg-r-rdam-character-criterion-and-infinite-tensor-power-jian