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