すべての(1からをとる)に対して次の条件が必要である: