reserve x,A for set,
  i,j,k,m,n, l, l1, l2 for Nat;
reserve D for non empty set,
  z for Nat;
reserve y for set;

theorem Th8:
  for x being Element of {[0,{},{}],[1,{},{}]}
    holds JumpPart x = {}
 proof let x be Element of {[0,{},{}],[1,{},{}]};
   x = [0,{},{}] or x = [1,{},{}] by TARSKI:def 2;

  hence thesis;
 end;
