theorem
  0 div n = 0;
