let L be Block of (VeroneseSpace S); :: according to PENCIL_1:def 6 :: thesis: 2 c= card L
consider t being set , l being Subset of S such that
t in the carrier of S and
A1: l in the topology of S and
A2: L = PairSet (t,l) by Def10;
2 c= card l by A1, PENCIL_1:def 6;
then reconsider l = l as non trivial set by PENCIL_1:4;
not PairSet (t,l) is trivial ;
hence 2 c= card L by A2, PENCIL_1:4; :: thesis: verum