theorem Th23: :: AOFA_A00:28

Seg 10 = {1,2,3,4,5,6,7,8,9,10}