theorem Th11: :: HILBERT2:11

for p being Element of HP-WFF st p . 1 = 1 holds
p is conditional