theorem Th11: :: COMBGRAS:11

for k being Element of NAT
for X being non empty set st 0 < k & k + 1 c= card X holds
G_ (k,X) is Vebleian