数列{an}是公差为d的等差数列,用定义法证明数列{a(4n-3)}是等差数列