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