for X being set holds CompleteSGraph X is clique by Lm1;