theorem
  K*`0 = 0;
