reserve a,b,c,h for Integer;
reserve k,m,n for Nat;
reserve i,j,z for Integer;
reserve p for Prime;

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;
