thus {{}} = CompleteSGraph (Vertices {{}}) by eCSG0; :: according to SCMYCIEL:def 13 :: thesis: verum