とにかく、
>717と>722
は正しい。