nʲitrˈudnʌ tˈɑɡʒy pʌkazˈɑtʲ, ʃto ˈi prʲamˈojɪ prʌizvʲidʲˈenʲijɪ kʌnʲˈeʃnʌvʌ tʃʲˈisɭa nʲe bˈoɭʲijɪ tʃʲˈem ɕˈɵtnyx mnˈoʒystf — nʲe bˈoɭʲijɪ tʃʲˈem ɕˈɵtnʌ.
Нетрудно также показать, что и прямое произведение конечного числа не более чем счётных множеств — не более чем счётно.