The completeness of (D(U), τ) then follow from that of DKi's.
전후 : 덴교(天慶) 이후 - 덴토쿠(天徳) 이전.