妥当性証明はここで見栄えがします