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