補題の定義をみなおす(forallをとる)。