( n 7 3)