>>687
何を証明する話?