theorem Th1: :: INTPRO_2:1

0 in Proof_Step_Kinds_IPC & ... & 10 in Proof_Step_Kinds_IPC ;