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

theorem Th77:
  a is odd implies not a is Multiple of 2
  proof
    assume a is odd;
    hence not 2 divides a;
  end;
