>>615
最小性の証明が抜けてる