theorem Th10:
  JumpPart (a:=b) = {}
proof
  thus JumpPart (a:=b) = [ 1,{}, <*a,b*>]`2_3 by Th2
    .= {};
end;
