theorem Th22: :: AOFA_A00:27

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