theorem Th53: :: SCMYCIEL:53

for C being clique SimpleGraph
for u, v being set st u in Vertices C & v in Vertices C holds
{u,v} in C