n shown that