が成り立ち、これを"d" について解くことで与式が得られる。