theorem Th48: :: SCMYCIEL:48

{{}} is clique by Th35;