kingが女でない事を証明すれば系として出てくる。