無問題であることを証明できる?