>>671
>>613にはその定義を用いると書かれていない。