the ColoredSet of CPN --> 1 in { e where e is color-count of CPN : verum } ;
hence { e where e is color-count of CPN : verum } is non empty set ; :: thesis: verum