(P) (Q)
(R) (S)
(T) (U)
(V) (W)
(X) (10)
(11) (12)
(13) (14)
(15) (16)
(17)

i
(P) (Q)
(R) (S)
(T) (U)
(V) (W)
(X) (10)
(11) (12)
(13) (14)
(15)

xmR
(P)

pm}
(P)