>>396
その二つの命題はa(n,r)とb(n,r)の定義から、何の証明も必要なく、自明の命題として
得られるものだ。そうだから、私はそのことについて書いていない。