one to one correspondence 6 and 7