現実の解明と
想定の証明の違いが解ってないな。