26 x8 N P a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a6 a10 a11 a6 a12 a13 a14 a15a16 a17 N P a18 { a19 { { { a18 { { { a18 ‘ ‘ { 1 x8 N P ‘ P ‘ N 2 ‘ P ) ‘ N a20 a18 a21 ‘ P ( 2 ). ‘ N a22 3 13 ; P , ‘ P , 0 , 0 ‘ P . a23 a23 a23 a24 a24 a24 : , a25 , . : 1 ; 2 ; ; n (= ) a26 . 0 = \f 1 ; 2 ; ; n g, 1 ; 2 ; ; n 0 a26 , 0 ‘ P . 0 a22 4 1 P , P ‘ N : ‘ N ! 13 !( ! ); ! ‘ N ! 13 ; ‘ N !( ! ) ! + ; ‘ N ( !( ! ))!(( ! )!( ! )) ! + ‘ N !( ! ) + ‘ N ( !( ! ))!(( ! )!( ! )) + : !: ‘ N ! 15 ‘ N (: !: )!( ! ) 5 14 ; P . ‘ P , ‘ N . : 1 ; 2 ; ; n P a26 , ( : n = ). : i (1 i n), ‘ N i i . 6 14 | (1) i = 1 , 1 P a26 , 1 2 . (1.1) 1 P a26 , a19 1 ‘ N 1 . (1.2) 1 2 , a19 N (2) ‘ N 1 . 7 14 | (2) j < i a27 j ‘ N j , ‘ N i . (2.1) i 2 i P , (1) ‘ N i . (2.2) i a19 k ; l (M) (1 k; l < i), k = , l = ! i . a19 k; l < i, a19 : ‘ N k , ‘ N l , : ‘ N , ‘ N ! i , (! ) ‘ i . a22 8 ‘ N ) ‘ P a28 a29 N a26 P ( _ ) a22 : _ (: )! ^ :( ! : ) $ :(( ! ) ! :( ! )) 9 15 N , ‘ N , ‘ P . : : N , N a23 1 ‘ N 1 ; 2 ‘ N 2 ; ; n ‘ N n ( ) : n = ; n = , : n ‘ P n . n . 10 15 ( ) (1) n = 1 , 1 ‘ N 1 (2) , 1 2 1 . 1 ‘ P 1 . (2) ( ) k < n a27 k , ( ) n . (2.1) n ‘ N n (2) , (1) . 11 15 (: ) (2.2) n ‘ N n (: ) , i; j : 1 i; j < n, i ‘ i , j ‘ j n ;: n ‘ , n ;: n ‘ : : N . a19 : n ;: n ‘ P , n ;: n ‘ P : . a19 : n ‘ P : n ! , n ‘ P : n !: . a19 33 : : n ! ; : n !: ‘ P n , a19 12 a18 n ‘ P n . (2.3) n ‘ N n (! ),(! +) , (2.2) . 12 15 (: ) (2.4) n ‘ N n (_ ) , i; j : 1 i; j < n, i ‘ i , j ‘ j . 0 ; ‘ n , 0 ; ‘ n . : 0 N , ; N , n = 0 [f _ g. : _ P : ! . a19 : 0 ; ‘ P n , 0 ; ‘ P n . a19 : 0 ‘ P ! n , 0 ‘ P ! n . 13 15 (: )( ) a19 0 n , n ‘ P ! n , n ‘ P ! n . a19 _ 2 n , n ‘ P : ! . a19 27 a18 f: ! ; ! n g ‘ P (: ! n ), a19 12: n ‘ P : ! n . a19 31 : f ! n ; : ! n g ‘ P n . a19 12 : n ‘ P n . 14 15 (_+) (2.5) n ‘ N n (_+) , n _ ( : ; N ), n P : ! . a19 : n ‘ P n ‘ P a26 . 15 15 (_+) (2.5.1) n ‘ P a22 a19 34 a18 ‘ P !(: ! ). a19 11 a18 ‘ P : ! . a19 12 a18 n ‘ P : ! . n ‘ P n . (2.5.2) n ‘ P . a19 ‘ P !(: ! ) n ‘ P n . 16 15 (^ ) (2.6) n ‘ N n (^ ) , a19 : n ‘ P n ^ n ‘ ^ n . : N . : n ^ :( n !: ), ^ n :( !: n ). n ‘ P :( n !: ) n ‘ P :( !: n ) 17 15 (^ )( 1) (2.6.1) n ‘ P :( n !: ). a19 22 : ‘ p : n !( n !: ), a19 28 : ‘ p (: n !( n !: )) ! (:( n !: )!:: n ). a19 9 a18 ‘ p :( n !: )!:: n . a19 23 : ‘ p :: ! . a19 9 : ‘ p :( n !: )! n . n ‘ P n 18 15 (^ )( 2) (2.6.2) n ‘ P :( !: n ). a19 ‘ p : n !( !: n ). a18 ‘ p :( !: n )! n . n ‘ P n (2.7) n ‘ N n (^+),($ +) ($ ) , n ‘ P n . . a30 . 19 P( N) , ‘ N ‘ P . 20 p.508(p.101). 17(1), (2), (3) 21 22