わかっていないところを分からないようにする証明