consider C being finite Clique-partition of R such that
A: card C = cliquecover# R by Lclico;
thus cliquecover# R is positive by A; :: thesis: verum