reserve a,b,c for Integer;

theorem
  0 divides a iff a = 0;
