theorem Th58:
  j is Multiple of i implies j+h*i is Multiple of i
  proof
    assume
A1: i divides j;
    i divides h*i;
    hence i divides j+h*i by A1,WSIERP_1:4;
  end;
