ととなる事実を用いれば、算術数列の定義式