(4) Šest soudců Ústavního soudu je jmenováno z občanů České republiky a šest z občanů Slovenské republiky.