{} in G by SG1;
then reconsider S = {{}} as Subgraph of G by ZFMISC_1:31;
take S ; :: thesis: S is clique
thus S is clique by eclique; :: thesis: verum