Следствие из свойства 3 - декартово произведение двух счетных множеств - счетно.