
theorem Th49:
for X being set holds (CompleteSGraph X) is clique
by Lm1;
