Proofs

(23)

(19)

(1)

(7)

(8)

(11)

(12)

(1)

(12)

(3)

(8)

(7)

(5)

(3)

(3)

(21)

(109)

(4)

(52)

(74)

(23)

(9)

(7)

(67)

(21)

(80)

(11)

(2)

(3)

(1)

(2)

(1)

(1)

(2)

(11)

(2)

(94)

(256)

(454)

(59)

(92)

(55)

(201)

(44)

(80)

(103)

(269)

(127)