theorem
  Lucas(2,1,1,-1,n) = Lucas(n) by Th10;
