>>115
何がどのように証明されたん?