theorem Th9: :: SCPQSORT:9

card Partition = 38