thus not the topology of (VeroneseSpace S) is empty ; :: according to PENCIL_1:def 4 :: thesis: verum