theorem Th28: :: TURING_1:28

dom [+] c= 2 -tuples_on NAT