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

theorem Th63:
  i*j in multiples(i)
  proof
    i*j is Multiple of i by Th57;
    hence thesis;
  end;
