( 10 ; 9)