consider B being Subset of V such that
A1: ( {} the carrier of V c= B & B is base ) by Th17;
take B ; :: thesis: B is base
thus B is base by A1; :: thesis: verum