最初と、最初以外が成立するのを別々に証明しないといけないんでしょうか。