AddTo (a,b) = [2,{},<*a,b*>] by SCMFSA10:3;
hence JumpPart (AddTo (a,b)) is empty ; :: according to COMPOS_0:def 8 :: thesis: verum