やれやれ。
１の証明を公式に正しいと認めた人物は、１の他にはいまだ皆無だというのに。