The C*-identity is a very strong requirement.
この C∗-恒等式は非常に強い要求である。