時枝の証明が間違っているなら不成立、なぜか認めない成立派w