[>777]について考えてみた。
正しくないらしい。