19.1(2)命题和证明