This can be shown in ZFC as follows.
これは ZFC において次のように示せる。