個数の最大個数の証明に誤りがあった。現在、1つの場合分けだけ証明不可能