確証があるのに証明が不可能、て意味がわからん