SubFrom (a,b) = [3,{},<*a,b*>] by SCMFSA10:11;
hence JumpPart (SubFrom (a,b)) is empty ; :: according to COMPOS_1:def 37 :: thesis: verum