任意のr>=2に対して、k=r+1で定義されているということは、
任意のk>=3で定義されているということだよな