已知化合价求化学式