f :=<0,...,0> a = [12,{},<*a,f*>] ;
hence JumpPart (f :=<0,...,0> a) is empty ; :: according to COMPOS_1:def 37 :: thesis: verum