
theorem Th22:
{{}} is SimpleGraph-like
by Lm2;
