
theorem Th48:
{{}} is clique
by Th35;
