And the true promise shall draw near .
また近傍系は以下のように公理的に特徴づけられる。