既にそうなっていないと誰が証明できようか