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
A1: ( t in the carrier of S & l in the topology of S & 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 A1, PENCIL_1:4; :: thesis: verum