for A being denumerable set holds NAT ,A are_equipotent