近く証明することになる