Произведение счетных множеств счетно