theorem Th22: :: SCMYCIEL:22

{{}} is SimpleGraph-like by Lm2;