1.｢I¬|-prv(I)｣

2.第2(¬Cmplt)Thrm.Prf