theorem Th5: :: TREES_1:6

for p, q being finite set st p c< q holds
card p < card q