theorem Th8: :: COMPOS_0:9

for x being Element of {[0,{},{}],[1,{},{}]} holds JumpPart x = {}